1. Advanced Topics in Bisimulation and Coinduction
پدیدآورنده : / Davide Sangiorgi, Jan Rutten
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Advanced Topics in Bisimulation and Coinduction
پدیدآورنده : / Sangiorgi, Davide
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
3. CONCUR'98 : Concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
پدیدآورنده : Davide Sangiorgi, Robert de Simone )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1466
4. Introduction to Bisimulation and Coinduction
پدیدآورنده : / Sangiorgi, Davide
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
5. Theoretical Computer Science
پدیدآورنده : / Josep Diaz, Ivan Lanese, Davide Sangiorgi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
